Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Source URL: lampwww.epfl.ch

• Proof theory
• General relativity
• Complex analysis
• Holomorphic functional calculus

Type Soundness for Dependent Object Types (DOT) * Complete We sis

Source URL: lampwww.epfl.ch

• Software engineering
• Computing
• Type theory
• Computer programming
• Object-oriented programming
• Data types
• Polymorphism
• Functional programming
• Subtyping
• Covariance and contravariance
• Natural deduction
• Bottom type

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Type theory
• Data types
• Functional languages
• Subroutines
• Scala
• Recursive data type
• Recursion
• Type system

Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)

Source URL: www1.maths.leeds.ac.uk

Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

Source URL: www1.maths.leeds.ac.uk

Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/

Source URL: cl-informatik.uibk.ac.at

Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires

Source URL: ctp.di.fct.unl.pt

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

Source URL: www.cs.yale.edu

Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

Source URL: metatheorem.org